Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
251	CURRICULUM VITAE: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Work addresses: University of Cambridge Computer Laboratory William Gates Building Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-12-18 21:05:43 Mathematics Programming language semantics Aarhus University Coimbra Group Functionalist architecture Denotational semantics Computer science Semantics of programming languages Programming language theory Theoretical computer science Logic in computer science Mathematical logic
252	CURRICULUM VITAE Name: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Nationality: British. Work addresses: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-18 09:50:08 Computer science Denotational semantics Dana Scott Semantics of programming languages Concurrency Programming language theory Gordon Plotkin Aarhus University Logic programming Theoretical computer science Logic in computer science Mathematics
253	EXPRESS[removed]Event Structure Spans for Nondeterministic Dataflow Lucy Saunders-Evans Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-10-19 12:06:43 Logic in computer science Algebraic topology Denotational semantics Sheaf Quasigroup Abstract algebra Mathematics Theoretical computer science
254	c The Author[removed]Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: [removed] doi:[removed]comjnl/bxh052 Eve Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-06-23 10:59:08 Applied mathematics Symmetry Model theory Logic in computer science Petri net Denotational semantics Causal sets Equivalence relation Power domains Mathematics Theoretical computer science Models of computation
255	Domain Theory for Concurrency Mikkel Nygaard BRICS∗ University of Aarhus Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-09-25 08:15:38 Models of computation Logic in computer science Binary operations Denotational semantics Π-calculus If and only if Mathematics Theoretical computer science Applied mathematics
256	MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY May 10, 1977 Al Working Paper 134A Laws for Communicating Parallel Processes Add to Reading List Source URL: dspace.mit.edu Language: English - Date: 2008-09-19 03:03:34 Computing Inter-process communication Denotational semantics Process calculi Message passing Computation Distributed computing Futures and promises Parallel computing Actor model Concurrent computing Concurrency
257	arXiv:1406.1310v1 [cs.LO] 5 Jun[removed]Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi∗ Benoˆıt Valiron† Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-06-05 21:10:00 Abstract algebra Models of computation Linear map Transformation Lambda calculus Denotational semantics Simply typed lambda calculus Vector space Linear combination Algebra Mathematics Linear algebra
258	Full Abstraction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2004-01-06 12:23:12 Logic Interpretation Structure Monoid Elementary class Function Programming Computable Functions Denotational semantics Mathematics Model theory Mathematical logic
259	Domain Theory and the Logic of Observable Properties Samson Abramsky Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-03-07 07:28:20 Logic in computer science Programming language semantics Formal sciences Model theory Denotational semantics Operational semantics Semantics Proof theory Interpretation Logic Mathematical logic Theoretical computer science
260	Two Notions of Beauty in Programming Robert Harper (With Guy E. Blelloch) Computer Science Department Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-07-02 18:35:31 Computer science Logic in computer science Formal methods Denotational semantics Lambda calculus Combinatorics Mathematical logic Models of computation Theoretical computer science Applied mathematics

UPDATE